Data Types a la Carte
https://twitter.com/lotz84_/status/1183894264222142465
http://www.cs.ru.nl/~W.Swierstra/Publications/DataTypesALaCarte.pdf